Merging of Ontologies Using Belief Revision and Defeasible Logic Programming

Ontology merging refers to the process of creating a new ontology from two or more existing ontologies with overlapping parts. The δ-ontologies framework allows to reason with possibly inconsistent Description Logic ontologies by interpreting them in Defeasible Logic Programming, which is an approach to common-sense reasoning based on defeasible argumentation and logic programming. In traditional Description Logics, the knowledge expressed by a single ontology is separated into a terminological box and an assertional box. In contrast, in a δ-ontology, the terminological box is separated into an strict box (which must always be consistent) and a defeasible box (that could be inconsistent). Merging defeasible boxes is trivial but merging strict boxes is not since its union could result in an inconsistent strict box. In this article we extend the δ-ontologies framework by combining Argumentation, Belief Revision, and Description Logic ontologies to merge two ontologies such that the union of the strict terminologies could lead to inconsistency. We base our approach on a procedure presented by Falappa et al. where part of the inconsistent terminologies are turned defeasible by using a kernel revision operator applied to the set union of the ontologies. Resumen La mezcla de ontoloǵıas se refiere al proceso de creación de una nueva ontoloǵıa a partir de dos más ontoloǵıas existentes con partes en común. El marco de las δ-ontoloǵıas permite razonar con ontoloǵıas en Lógica para la Descripción posiblemente inconsistentes al interpretarlas en Programación en Lógica Rebatible, la cual es un acercamiento al razonamiento de sentido común basado en argumentación rebatible y programación en lógica. En las Lógicas para la Descripción tradicionales, el conocimiento expresado por una ontoloǵıa simple es separado en una caja terminológica y una caja asercional. En contraste, en una δ-ontoloǵıa, la caja terminológica es separada en una caja estricta (que siempre debe ser consistente) y una caja rebatible (que podŕıa ser inconsistente). Mezclar cajas rebatibles es trivial pero mezclar cajas estrictas no lo es puesto que tal unión podŕıa resultar en una caja estricta inconsistente. En este art́ıculo, extendemos el marco de las δ-ontoloǵıas al combinar Argumentación, Revisión de Creencias y Lógicas para la Descripción para mezclar dos ontoloǵıas tales que la unión de las terminoloǵıas estrictas podŕıa llevar a inconsistencia. Basamos nuestro acercamiento en un procedimiento presentado por Falappa et al. donde parte de las terminoloǵıas inconsistentes son convertidas en rebatibles por medio de un operador de revisión de núcleo aplicado a la unión conjuntista de las ontoloǵıas.